2101. Southeast Asian Conference on Logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical ; Congresses. ;
2102. Southeast Asian Conference on Logic
Author: / edited by C.-T. Chong and M.J. Wicks. -
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
9
,.
A1
,
S68
,
1981
2103. Special Topics in Mathematics for Computer Scientists
Author: \ Ernst-Erich Doberkat
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
Classification :
QA
76
.
9
..
M35S6
2015
E-Book
,
2104. Specifying message passing and time-critical systems with temporal logic
Author: Koymans, Ron
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Data transmission systems,، Logic, Symbolic and mathematical
Classification :
TK
5105
.
K69
1992
2105. Specifying message passing and time-critical systems with temporal logic
Author: Ron Koymans
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Data transmission systems,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
651
2106. Specifying systems :
Author: Leslie Lamport.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems-- Specifications.,Logic, Symbolic and mathematical.,System design.
2107. Stochastic Versus Fuzzy Approaches to Multiobjective Mathematical Programming under Uncertainty
Author: edited by Roman Slowinski, Jacques Teghem.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Economics.,Logic, Symbolic and mathematical.
Classification :
QA402
.
5
E358
1990
2108. Structural Complexity I
Author: by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.
2109. Structural Complexity II
Author: by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.
Classification :
QA267
.
B956
1990
2110. Structure of language and its mathematical aspects
Author: Symposium in Applied Mathematics, 21th, New York 0691
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Language and languges-- Addresses, essays, lectures,، Mathematical linguistics
Classification :
P
121
.
S9
1960
2111. Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
Author: Jan Mycielsik, Grzegorz Rozenberg, Arto Salomaa, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Ehrenfeucht, Andrzej,، Computer science,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1261
2112. Strukturtypen der Logik
Author: von Wolfgang Stegmüller, Matthias Varga Kibéd.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.
Classification :
QA9
.
V669
1984
2113. Studien zu Frege =
Author: Matthias Schirn (Hrsg.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
Classification :
QA9
.
S78
2114. Studies in constructive mathematics and mathematical logic
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
I813
2115. Studies in foundations and combinations
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Addresses, essays, lectrures ، Combinatorial analysis,Addresses, essays, lectures ، Logic, Symbolic and mathematical
Classification :
QA
164
.
S85
2116. Substructural logics
Author: edited by Peter Schroeder-Heister and Kosta Dosen
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science,، Logic, Symbolic and mathematical
Classification :
QA
76
.
S85
1993
2117. Subsystems of Second Order Arithmetic
Author: by Stephen G. Simpson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
Classification :
HF1008
.
B978
1999
2118. Sur les algebres de Hilbert
Author: Diego, Antonio
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
D514
2119. Sur les algebres de Hilbert...Traduit de l'espagnol
Author: Diego, Antonio
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
D514
2120. Symbolic Logic
Author: / Irving M. Copi
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: Logic, Symbolic and Mathematical
Classification :
BC135
.
C58
